121. NASA formal methods :
پدیدآورنده : Aaron Dutle, César Muñoz, Anthony Narkawicz (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Formal methods (Computer science), Congresses.,Artificial intelligence.,Computer modelling & simulation.,Computer science.,Computers-- Computer Science.,Computers-- Computer Simulation.,Computers-- Hardware-- Handheld Devices.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming Languages-- General.,Computers-- Software Development & Engineering-- General.,Formal methods (Computer science),Programming & scripting languages: general.,Software Engineering.,Systems analysis & design.
رده :
QA76
.
9
.
F67
122. Networked services and applications - engineering, control and management :
پدیدآورنده : Finn Arve Aagesen, Svein Johan Knapskog (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer networks, Congresses.,Internet programming, Congresses.,Internet, Congresses.
123. Networked services and applications - engineering, control and management :
پدیدآورنده : Finn Arve Aagesen, Svein Johan Knapskog (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer networks, Congresses.,Internet programming, Congresses.,Internet, Congresses.
124. New Trends in Software Methodologies, Tools and Techniques :
پدیدآورنده : edited by Hamido Fujita and Paul Johannesson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer software-- Reliability, Congresses.,Software engineering, Congresses.,Computer software-- Reliability.,COMPUTERS-- Programming-- Open Source.,COMPUTERS-- Software Development & Engineering-- General.,COMPUTERS-- Software Development & Engineering-- Tools.,Software engineering.
رده :
QA76
.
758
.
L94
2002eb
125. New trends in computer technologies and applications :
پدیدآورنده : Chuan-Yu Chang, Chien-Chou Lin, Horng-Horng Lin (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic data processing, Congresses.,Self-organizing systems, Congresses.,Electronic data processing.,Self-organizing systems.
رده :
QA75
.
5
.
I58
2018
126. Nuclear power plants :
پدیدآورنده : editors, Yang Xu, Hong Xia, Feng Gao, Weihua Chen, Zheming Liu, and Pengfei Gu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Nuclear power plants-- Electronic equipment, Congresses.,Nuclear power plants-- Instruments, Congresses.,Nuclear power plants-- Safety measures, Congresses.,Nuclear power plants-- Electronic equipment.,Nuclear power plants-- Instruments.,Nuclear power plants-- Safety measures.,TECHNOLOGY & ENGINEERING-- Mechanical.
رده :
TK9152
127. OOIS 2001 :
پدیدآورنده : edited by Yingxu Wang, Shushma Patel, Ronald Johnston.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented methods (Computer science),Object-oriented methods (Computer science) -- Congresses.
128. OOIS'96 :
پدیدآورنده : edited by Dilip Patel, Yuan Sun, Shushma Patel.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Database management.,Object-oriented databases -- Congresses.
رده :
QA76
.
9
.
D3
E358
1997
129. OOIS '98 :
پدیدآورنده : ed. by Colette Rolland and Georges Grosz.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Object-oriented databases -- Congresses.,Object-oriented databases.,OBJEKTORIENTIERTE ANALYSE (SOFTWARE ENGINEERING)
130. On the Move to Meaningful Internet Systems:
پدیدآورنده : Pilar Herrero [and others] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
131. On the Move to Meaningful Internet Systems: OTM 2012 Workshops
پدیدآورنده : / Pilar Herrero...[et al.] (eds.)
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Computer networks--Congresses,Internet--Congresses,Cloud computing--Congresses,Software engineering--Congresses
رده :
TK5105
.
3
.
O86
2012
132. On the move to meaningful internet systems:
پدیدآورنده : Robert Meersman, [and 7 more] (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Cloud computing -- Congresses.,Computer networks -- Congresses.,Internet -- Congresses.
رده :
TK5105
.
3
R634
2013
133. On the move to meaningful internet systems: OTM 2011 :
پدیدآورنده : Robert Meersman [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses,Computer networks, Congresses,Internet, Congresses,Semantic Web, Congresses,Web services, Congresses
رده :
TK5105
.
5
.
O86
2011
134. On the move to meaningful internet systems: OTM 2011 :
پدیدآورنده : Robert Meersman [and others] (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses,Computer networks, Congresses,Internet, Congresses,Semantic Web, Congresses,Web services, Congresses
رده :
TK5105
.
5
.
O86
2011
135. On the move to meaningful internet systems: OTM 2011 Workshops :
پدیدآورنده : Robert Meersman, Tharam Dillon, Pilar Herrero (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Business-- Data processing, Congresses,Computer networks, Congresses,Internet, Congresses,Software engineering, Congresses
رده :
TK5105
.
5
.
O86
2011
136. OpenSHMEM and related technologies :
پدیدآورنده : Swaroop Pophale, Neena Imam, Ferrol Aderholdt, Manjunath Gorentla Venkata (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application program interfaces (Computer software), Congresses.,Computer programming, Congresses.,Application program interfaces (Computer software),Computer programming.
رده :
QA76
.
758
137. Overcoming barriers to technology transfer and business commercialisation in Central and Eastern Europe :
پدیدآورنده : edited by Richard A. Bendis and Stefan T. Craciunoiu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Technological innovations-- Economic aspects-- Europe, Eastern, Congresses.,Technology transfer-- Europe, Eastern, Congresses.,Commercial policy.,Technological innovations-- Economic aspects.,TECHNOLOGY & ENGINEERING-- Industrial Technology.,Technology transfer.,Europe, Eastern, Commercial policy, Congresses.,Eastern Europe., 0, 7
رده :
HC244
.
Z9
T465
2001eb
138. PRIMA 2018 :
پدیدآورنده : Tim Miller, Nir Oren, Yuko Sakurai, Itsuki Noda, Bastin Tony Roy Savarimuthu, Tran Cao Son (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Multiagent systems, Congresses.,Algorithms & data structures.,Artificial intelligence.,Computers-- Expert Systems.,Computers-- Hardware-- Network Hardware.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Software Development & Engineering-- General.,Expert systems-- knowledge-based systems.,Multiagent systems.,Network hardware.,Software Engineering.
رده :
QA76
.
76
.
I58
139. Passive and active measurement
پدیدآورنده : Neil Spring, George F. Riley (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks, Congresses,Engineering mathematics, Congresses,Information networks, Congresses,Internet-- Management, Congresses,Software measurement, Congresses
رده :
TK5105
.
5
.
P36
2011
140. Pattern Recognition Theory and Applications :
پدیدآورنده : edited by Josef Kittler, King Sun Fu, Louis-François Pau.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic speech recognition -- Congresses.,Biomedical engineering -- Congresses.,Pattern perception -- Congresses.
